completeness relations